\begin{tabbing}
ecl{-}ex($x$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ecl\_ind(\=$x$;\+
\\[0ex]$k$,${\it test}$.[];
\\[0ex]$a$,$b$,$A$,$B$.merge($A$; $B$);
\\[0ex]$a$,$b$,$A$,$B$.merge($A$; $B$);
\\[0ex]$a$,$b$,$A$,$B$.merge($A$; $B$);
\\[0ex]$a$,$A$.$A$;
\\[0ex]$a$,$m$,$A$.$A$;
\\[0ex]$a$,$m$,$A$.if ($m$ =$_{0}$ 0) then $A$ else s{-}insert($m$; $A$) fi ;
\\[0ex]$a$,$l$,$A$.$A$)
\-
\end{tabbing}